DEFINITION MODULE AMMenu;

(*  AMMenu prepares the menu and does all menu functions for Automata.

    Version 2.0a    by Mike Dryja     February 21, 1987  *)

TYPE
  ToggleChoices = (Disable, Enable, Pause, Resume);
    (* Four possible choices for the Toggle procedure *)    

PROCEDURE InitMenu ();
  (* Initialize the menu for the Automata program. *)
     
PROCEDURE Toggle (Choice : ToggleChoices);
  (* According to Choice, either enables or disables the Pause/Resume item
     from the Project menu, or changes the wording to Pause or Resume *)
     
END AMMenu.


